Fractal Fracas
نویسنده
چکیده
منابع مشابه
Natural Solution to FraCaS Entailment Problems
Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collection of entailment problems consisting of multiple premises and covering semantically challenging phenomena. We employ the tableau theorem prover for natural language to solve the FraCaS problems in a natural way. The expressiveness of a type...
متن کاملAccurate Emulation of CPU Performance
This paper addresses the question of CPU performance emulation, which allows experimenters to evaluate applications under a wide range of reproducible experimental conditions. Specifically, we propose Fracas, a CPU emulator that leverages the Linux Completely Fair Scheduler to achieve performance emulation of homogeneous or heterogeneous multi-core systems. Several benchmarks reproducing differ...
متن کاملA simulation tool to validate and compare satellite TDMA access schemes
This paper proposes an architecture design for a tool suitable for emulating DA-TDMA (demand-assignment-time division multiple access) satellite access schemes. The tool presented, named FRACAS, is particularly suitable for comparing the performance of different satellite channel allocation policies. Using FRACAS, a service provider can choose from different policies for sharing a satellite cha...
متن کاملA Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq
We present a type-theoretical framework for formal semantics, which leverages two existing well established tools: Grammatical Framework (GF) and Coq. The framework is the semantic equivalent of GF’s resource grammars: every syntactic construction is mapped to a (compositional) semantics. Our tool thus extends the standard GF grammar with a formal semantic backbone. We evaluated our framework o...
متن کاملComputer-Aided Image-Guided Bone Fracture Surgery: Modeling, Visualization, and Preoperative Planning
This paper describes the Fracas computer-integrated or-thopaedic system for assisting surgeons in closed long bone fracture reduction. Fracas' goals are to reduce the surgeon's cumulative exposure to radiation and improve the positioning accuracy by replacing uncorre-lated static uoroscopic images with a virtual reality display of 3D bone models created from preoperative CT and tracked intraope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE computer graphics and applications
دوره 25 3 شماره
صفحات -
تاریخ انتشار 2005